Eiffel Software - PDFSEARCH.IO - Document Search Engine

Eiffel Software
Results: 113

#	Item
81	Microsoft Word - ToolsEurope2011-CFP.doc Add to Reading List Source URL: toolseurope2011.lcc.uma.es Language: English - Date: 2010-12-23 12:16:09 Systems engineering Unified Modeling Language Component-based software engineering Object-oriented programming Software architecture Eiffel Software Model-driven engineering Bertrand Meyer Model-driven architecture Software engineering Computing Software development
82	The Spec# Programming System Tomáš Matoušek http://tm.matfyz.cz CHARLES UNIVERSITY IN PRAGUE Add to Reading List Source URL: tmd.havit.cz Language: English - Date: 2008-07-10 10:24:31 C Sharp Mono project Null Standard Performance Evaluation Corporation Constructor Eiffel Java Computing Software engineering Object-oriented programming
83	Draft of a paper submitted to a planned volume in honor of Tony Hoare’s 75-th birthday, 2009. Avoid a Void: The eradication of null dereferencing Bertrand Meyer+, Alexander Kogtenkov+, Emmanuel Stapf+ + Add to Reading List Source URL: docs.eiffel.com Language: English* - Date: 2009-08-04 15:25:12 Object-oriented programming Type theory Data types Procedural programming languages C++ Void safety Eiffel Void type ALGOL 68 Software engineering Computing Computer programming
84	e-POSIX The definitive and complete Eiffel to Standard C and POSIX[removed]binding written by Berend de Boer Add to Reading List Source URL: www.berenddeboer.net Language: English - Date: 2010-01-12 13:53:35 Compilers IEEE standards POSIX Unix System administration Cygwin Eiffel Bc programming language Locale Software Computing System software
85	SNiFF+ for Eiffel: A new programming environment for Eiffel by Jan Willamowius Abstract: Until recently Eiffel developers were stuck with whatever programming Add to Reading List Source URL: www.willamowius.de Language: English - Date: 2009-04-21 06:07:58 Object-oriented programming Eiffel D C++ C Sharp Class browser Software engineering Computing Computer programming
86	Object-Oriented Software Engineering with Eiel Jean-Marc Jezequel ISBN[removed] Add to Reading List Source URL: www.irisa.fr Language: English - Date: 1998-10-12 03:47:47 Computer programming Eiffel Component-based software engineering Design by contract Generic programming Postcondition Precondition Object Multiple inheritance Software engineering Object-oriented programming Computing
87	The Contract Pattern Copyright 1997, Michel de Champlain Permission granted to copy for PLoP ’97 Conference. All other rights reserved. Add to Reading List Source URL: hillside.net Language: English - Date: 2004-02-16 17:17:56 Logic in computer science Programming paradigms Object-oriented programming Class invariant Method Eiffel Assertion Postcondition Precondition Software engineering Computing Computer programming
88	A Historical Perspective on Runtime Assertion Checking in Software Development Add to Reading List Source URL: discovery.ucl.ac.uk Language: English - Date: 2008-02-04 05:56:15 Logic in computer science Assertion Postcondition Precondition Class invariant Eiffel Monitor Test Data Generation Comparison of C Sharp and Java Software engineering Computer programming Computing
89	Type-safe covariance: Competent compilers can catch all catcalls Mark Howard1, Éric Bezault1, Bertrand Meyer2, 3, Add to Reading List Source URL: se.ethz.ch Language: English - Date: 2011-03-11 06:31:40 Object-oriented programming Computer programming Data types Polymorphism Covariance and contravariance Eiffel Type system Generic programming Type safety Software engineering Computing Type theory
90	Static Bertrand Add to Reading List Source URL: se.ethz.ch Language: English - Date: 2011-03-11 06:32:38 Object-oriented programming Data types Type theory Polymorphism Method Eiffel Type system Covariance and contravariance Generic programming Software engineering Computing Computer programming

UPDATE